A logical framework for prioritized goal change

Handling Prioritized Goals and Subgoals in a Logical Account of Goal Change ( Extended Abstract )

Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report

Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent...

Handling prioritized goals and subgoals in a logical account of goal change

Most existing formal models of goals [2, 3] assume that all goals are equally important and many only deal with achievement goals. Moreover, they do not guarantee that an agent’s goals will properly evolve when an action/event occurs, e.g. when the agent’s beliefs/knowledge changes or a goal is adopted or dropped. Also, most of these frameworks do not model the dependencies between goals and th...

Two representations for iterative non-prioritized change

We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms of persistent epistemic states, and a constructive representation in terms of flocks of bases.

Disambiguation by Prioritized Circumscription

This paper presents a method of resolving ambiguity by using a variant of circumscription, prioritized circumscription. In a disambiguation task, human seems to use various preferences which have various strength. In prioritized circumscription, we can express these preferences as defeasible constraints with various strength and we infer the most preferable logical models which satisfy stronger...